🔗 Dependent Types - hello · Scour

A Graded Modal Dependent Type Theory with Erasure, Formalized 📐Type Theory

arxiv.org·1d·

dropbox/dMATH: Formal verification and theorem proving tools ✓Formal Verification

github.com·3d·Hacker News·

Andrew Lloyd Webber says ‘appalling’ Cats movie made him get therapy dog 🧮Algebraic Effects

independent.co.uk·3h·

Programming Languages and Type Safety in the Era of LLMs 🔨Compiler Design

thecodedmessage.com·1d·

Flexible Code Without Losing Type Safety with TS Generics 📘TypeScript

dev.to·3d·DEV·

Introduction to Compilers and Language Design 🔨Compiler Design

dthain.github.io·7h·

Issue 518 📐Type Theory

haskellweekly.news·11h·

Almighty Lisp: Lisp & Emacs Essentials 🦀Rust Macros

almightylisp.com·3h·

Linear types proposal for Hare 📏Linear Types

yerinalexey.srht.site·1d·Lobsters, Hacker News·

WybeCoder: Verified Imperative Code Generation 🏗️Pavex

arxiv.org·1d·

An Update On Typed Racket For HtDP 📐Type Theory

callumr.com·4d·

A WASM first programming language with effect typing 🔨Compiler Design

voyd.dev·2d·Hacker News·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

A+ 📐Type Theory

aplwiki.com·2d·Hacker News·

Formal Verification in Any Language for Everybody ✓Formal Verification

dev-log.me·2d·Hacker News·

Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification 🧮SMT Solvers

goedelcodeprover.github.io·6d·Hacker News·

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you 🦀Rust

kerkour.com·1d·

The Type Theorists need to take a look at Zig 📐Type Theory

pure-systems.org·5d·Hacker News·

guile and delimited continuations 🔄CPS Transform

wingolog.org·6d·

index_type: typed indices for collections 🗺️BTreeMap

github.com·2d·r/rust·

Loading more...